- LNCS531
- -E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer-Verlag Proceedings 1990
Acronyms von A bis Z. 2013.
LNCS531
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS531 — E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer Verlag Proceedings 1990 … Acronyms
